home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / sbprolog / v3 / latex_do.lha / latex_doc / sbprolog_doc.tex / images.pl < prev    next >
Text File  |  1990-07-06  |  7KB  |  192 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3.  
  4.  
  5. $key = q/bf{,;MSF=1.6;LFS=11;AAT/;
  6. $cached_env_img{$key} = q|<IMG
  7.  STYLE="height: 1.41ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img11.png"
  8.  ALT="$\bf ,$">|; 
  9.  
  10. $key = q/bf{;;MSF=1.6;LFS=11;AAT/;
  11. $cached_env_img{$key} = q|<IMG
  12.  STYLE="height: 0.70ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img12.png"
  13.  ALT="$\bf ;$">|; 
  14.  
  15. $key = q/bf{<;MSF=1.6;LFS=11;AAT/;
  16. $cached_env_img{$key} = q|<IMG
  17.  STYLE="height: 2.30ex; vertical-align: 161.29ex; " SRC="|."$dir".q|img7.png"
  18.  ALT="$\bf <$">|; 
  19.  
  20. $key = q/bf{=..;MSF=1.6;LFS=11;AAT/;
  21. $cached_env_img{$key} = q|<IMG
  22.  STYLE="height: 1.41ex; vertical-align: 162.21ex; " SRC="|."$dir".q|img18.png"
  23.  ALT="$\bf =..$">|; 
  24.  
  25. $key = q/bf{=:=;MSF=1.6;LFS=11;AAT/;
  26. $cached_env_img{$key} = q|<IMG
  27.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img5.png"
  28.  ALT="$\bf =:=$">|; 
  29.  
  30. $key = q/bf{=;MSF=1.6;LFS=11;AAT/;
  31. $cached_env_img{$key} = q|<IMG
  32.  STYLE="height: 1.47ex; vertical-align: 162.28ex; " SRC="|."$dir".q|img13.png"
  33.  ALT="$\bf =$">|; 
  34.  
  35. $key = q/bf{=<;MSF=1.6;LFS=11;AAT/;
  36. $cached_env_img{$key} = q|<IMG
  37.  STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img9.png"
  38.  ALT="$\bf =<$">|; 
  39.  
  40. $key = q/bf{=backslash,=;MSF=1.6;LFS=11;AAT/;
  41. $cached_env_img{$key} = q|<IMG
  42.  STYLE="height: 1.02ex; vertical-align: 162.14ex; " SRC="|."$dir".q|img6.png"
  43.  ALT="$\bf =\backslash =$">|; 
  44.  
  45. $key = q/bf{>;MSF=1.6;LFS=11;AAT/;
  46. $cached_env_img{$key} = q|<IMG
  47.  STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img8.png"
  48.  ALT="$\bf >$">|; 
  49.  
  50. $key = q/bf{>=;MSF=1.6;LFS=11;AAT/;
  51. $cached_env_img{$key} = q|<IMG
  52.  STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img10.png"
  53.  ALT="$\bf >=$">|; 
  54.  
  55. $key = q/bf{?=;MSF=1.6;LFS=11;AAT/;
  56. $cached_env_img{$key} = q|<IMG
  57.  STYLE="height: 2.30ex; vertical-align: 161.38ex; " SRC="|."$dir".q|img15.png"
  58.  ALT="$\bf ?=$">|; 
  59.  
  60. $key = q/bf{backslash,=;MSF=1.6;LFS=11;AAT/;
  61. $cached_env_img{$key} = q|<IMG
  62.  STYLE="height: 0.64ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img14.png"
  63.  ALT="$\bf\backslash =$">|; 
  64.  
  65. $key = q/bf{backslash,==;MSF=1.6;LFS=11;AAT/;
  66. $cached_env_img{$key} = q|<IMG
  67.  STYLE="height: 0.89ex; vertical-align: 162.27ex; " SRC="|."$dir".q|img19.png"
  68.  ALT="$\bf\backslash ==$">|; 
  69.  
  70. $key = q/bf{is;MSF=1.6;LFS=11;AAT/;
  71. $cached_env_img{$key} = q|<IMG
  72.  STYLE="height: 1.53ex; vertical-align: 162.28ex; " SRC="|."$dir".q|img4.png"
  73.  ALT="$\bf is$">|; 
  74.  
  75. $key = q/displaystyleem{False_Case;MSF=1.6;LFS=11;AAT/;
  76. $cached_env_img{$key} = q|<IMG
  77.  STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img34.png"
  78.  ALT="$\displaystyle \em False\_Case$">|; 
  79.  
  80. $key = q/displaystyleem{True_Case;MSF=1.6;LFS=11;AAT/;
  81. $cached_env_img{$key} = q|<IMG
  82.  STYLE="height: 2.11ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img33.png"
  83.  ALT="$\displaystyle \em True\_Case$">|; 
  84.  
  85. $key = q/displaystyleem{comp_test;MSF=1.6;LFS=11;AAT/;
  86. $cached_env_img{$key} = q|<IMG
  87.  STYLE="height: 1.53ex; vertical-align: 161.76ex; " SRC="|."$dir".q|img30.png"
  88.  ALT="$\displaystyle \em comp\_test$">|; 
  89.  
  90. $key = q/displaystyleem{head;MSF=1.6;LFS=11;AAT/;
  91. $cached_env_img{$key} = q|<IMG
  92.  STYLE="height: 5.05ex; vertical-align: 155.51ex; " SRC="|."$dir".q|img27.png"
  93.  ALT="$\displaystyle \em head$">|; 
  94.  
  95. $key = q/displaystyleem{test;MSF=1.6;LFS=11;AAT/;
  96. $cached_env_img{$key} = q|<IMG
  97.  STYLE="height: 1.02ex; vertical-align: 162.34ex; " SRC="|."$dir".q|img29.png"
  98.  ALT="$\displaystyle \em test$">|; 
  99.  
  100. $key = q/displaystyleem{test_{1}^{};MSF=1.6;LFS=11;AAT/;
  101. $cached_env_img{$key} = q|<IMG
  102.  STYLE="height: 1.92ex; vertical-align: 161.25ex; " SRC="|."$dir".q|img31.png"
  103.  ALT="$\displaystyle \em test_{1}^{}$">|; 
  104.  
  105. $key = q/displaystyleem{test_{n}^{};MSF=1.6;LFS=11;AAT/;
  106. $cached_env_img{$key} = q|<IMG
  107.  STYLE="height: 2.04ex; vertical-align: 161.13ex; " SRC="|."$dir".q|img32.png"
  108.  ALT="$\displaystyle \em test_{n}^{}$">|; 
  109.  
  110. $key = q/displaystylett{:-;MSF=1.6;LFS=11;AAT/;
  111. $cached_env_img{$key} = q|<IMG
  112.  STYLE="height: 1.66ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img28.png"
  113.  ALT="$\displaystyle \tt :-$">|; 
  114.  
  115. $key = q/em{IndexArg^{{{rm{th}}_{};MSF=1.6;LFS=11;AAT/;
  116. $cached_env_img{$key} = q|<IMG
  117.  STYLE="height: 2.11ex; vertical-align: 161.00ex; " SRC="|."$dir".q|img21.png"
  118.  ALT="$\em IndexArg^{{\rm th}}_{}$">|; 
  119.  
  120. $key = q/em{Type;MSF=1.6;LFS=11;AAT/;
  121. $cached_env_img{$key} = q|<IMG
  122.  STYLE="height: 2.30ex; vertical-align: 160.93ex; " SRC="|."$dir".q|img20.png"
  123.  ALT="$\em Type$">|; 
  124.  
  125. $key = q/em{arity_{1}^{};MSF=1.6;LFS=11;AAT/;
  126. $cached_env_img{$key} = q|<IMG
  127.  STYLE="height: 2.17ex; vertical-align: 160.92ex; " SRC="|."$dir".q|img23.png"
  128.  ALT="$\em arity_{1}^{}$">|; 
  129.  
  130. $key = q/em{arity_{n}^{};MSF=1.6;LFS=11;AAT/;
  131. $cached_env_img{$key} = q|<IMG
  132.  STYLE="height: 2.24ex; vertical-align: 160.87ex; " SRC="|."$dir".q|img25.png"
  133.  ALT="$\em arity_{n}^{}$">|; 
  134.  
  135. $key = q/em{not;MSF=1.6;LFS=11;AAT/;
  136. $cached_env_img{$key} = q|<IMG
  137.  STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img16.png"
  138.  ALT="$\em not$">|; 
  139.  
  140. $key = q/em{pred_{1}^{};MSF=1.6;LFS=11;AAT/;
  141. $cached_env_img{$key} = q|<IMG
  142.  STYLE="height: 2.55ex; vertical-align: 160.60ex; " SRC="|."$dir".q|img22.png"
  143.  ALT="$\em pred_{1}^{}$">|; 
  144.  
  145. $key = q/em{pred_{n}^{};MSF=1.6;LFS=11;AAT/;
  146. $cached_env_img{$key} = q|<IMG
  147.  STYLE="height: 2.11ex; vertical-align: 161.00ex; " SRC="|."$dir".q|img24.png"
  148.  ALT="$\em pred_{n}^{}$">|; 
  149.  
  150. $key = q/em{test_{i}^{};MSF=1.6;LFS=11;AAT/;
  151. $cached_env_img{$key} = q|<IMG
  152.  STYLE="height: 1.72ex; vertical-align: 161.41ex; " SRC="|."$dir".q|img35.png"
  153.  ALT="$\em test_{i}^{}$">|; 
  154.  
  155. $key = q/gg;MSF=1.6;LFS=11;AAT/;
  156. $cached_env_img{$key} = q|<IMG
  157.  STYLE="height: 1.53ex; vertical-align: 162.19ex; " SRC="|."$dir".q|img3.png"
  158.  ALT="$\gg$">|; 
  159.  
  160. $key = q/ll;MSF=1.6;LFS=11;AAT/;
  161. $cached_env_img{$key} = q|<IMG
  162.  STYLE="height: 1.28ex; vertical-align: 162.38ex; " SRC="|."$dir".q|img2.png"
  163.  ALT="$\ll$">|; 
  164.  
  165. $key = q/scriptstyleem{th;MSF=1.6;LFS=11;AAT/;
  166. $cached_env_img{$key} = q|<IMG
  167.  STYLE="height: 2.04ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img1.png"
  168.  ALT="$\scriptstyle \em th$">|; 
  169.  
  170. $key = q/tt{->;MSF=1.6;LFS=11;AAT/;
  171. $cached_env_img{$key} = q|<IMG
  172.  STYLE="height: 1.53ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img17.png"
  173.  ALT="$\tt ->$">|; 
  174.  
  175. $key = q/vdots;MSF=1.6;LFS=11;AAT/;
  176. $cached_env_img{$key} = q|<IMG
  177.  STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img36.png"
  178.  ALT="$\vdots$">|; 
  179.  
  180. $key = q/{figure}{{centering{tabbing{{tt{r(X,Y):-p(X,Y),q(Y,Z),!,fail.{tt{|?-r(X,Y);p(X,Y).tabbing{{{}index{"!slash0}index{cut}{figure};LFS=11;FSF=1.6;AAT/;
  181. $cached_env_img{$key} = q|<IMG
  182.  STYLE="height: 286.76ex; " SRC="|."$dir".q|img26.png"
  183.  ALT="\begin{figure}{\centering
  184. \begin{tabbing}\tt
  185. r(X,Y) :- p(X,Y),q(Y,Z),!,fail. \\\\...
  186. ...tt \vert ?- r(X,Y) ; p(X,Y).
  187. \end{tabbing}}\index{''!/0}\index{cut}
  188. \end{figure}">|; 
  189.  
  190. 1;
  191.  
  192.